home *** CD-ROM | disk | FTP | other *** search
/ Info-Mac 1992 August / info-mac-1992.iso / Language (lang) / Lazy-Scheme / Examples / TestandGenerate / cont11 < prev    next >
Encoding:
Text File  |  1990-02-27  |  904 b   |  31 lines  |  [TEXT/Help]
  1.  (r0 n e r1 i r2 r3 a o r s m d)
  2.  
  3. ((0 1 2 3)
  4.  (0 1 2 3 4 5 6 7 8 9)
  5.  (0 1 2 3 4 5 6 7 8 9)
  6.  (0 1 2 3)
  7.  (0 1 2 3 4 5 6 7 8 9)
  8.  (0 1 2 3)
  9.  (0 1 2 3)
  10.  (0 1 2 3 4 5 6 7 8 9)
  11.  (0 1 2 3 4 5 6 7 8 9)
  12.  (0 1 2 3 4 5 6 7 8 9)
  13.  (0 1 2 3 4 5 6 7 8 9)
  14.  (0 1 2 3 4 5 6 7 8 9)
  15.  (0 1 2 3 4 5 6 7 8 9))
  16.  
  17. ((=? (+ n (* 2 e)) (* 10 r0))
  18.  (=? (+ i (+ r0 (* 2 n))) (* 10 r1))
  19.  (=? (+ r1 (+ a (+ s (+ o r))))(+ m (* 10 r2)))
  20.  (=? (+ r2 (+ i (+ r a))) (+ o (* 10 r3)))
  21.  (=? (+ r3 (+ a (+ d m))) s)
  22.  (<>? n e) (<>? n i) (<>? n a) (<>? n o) (<>? n r)
  23.  (<>? n s) (<>? n m) (<>? n d) (<>? e i) (<>? e a)
  24.  (<>? e o) (<>? e r) (<>? e s) (<>? e m) (<>? e d)
  25.  (<>? i a) (<>? i o) (<>? i r) (<>? i s) (<>? i m)
  26.  (<>? i d) (<>? a o) (<>? a r) (<>? a s) (<>? a m)
  27.  (<>? a d) (<>? o r) (<>? o s) (<>? o m) (<>? o d)
  28.  (<>? r s) (<>? r m) (<>? r d) (<>? s m) (<>? s d)
  29.  (<>? m d) (<>? a 0) (<>? d 0) (<>? m 0) (<>? s 0))
  30. Liste des domaines: 
  31.